[next] [prev] [prev-tail] [tail] [up]

2.2.11 Integrals 1001 to 1100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 178 192 166 171 294 193 169

N.S.

1 1.00 0.98 1.05 0.91 0.94 1.62 1.06 0.93

time (sec)

N/A 0.323 0.134 0.265 0.188 0.291 0.475 0.276 0.053

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 178 192 166 169 216 193 169

N.S.

1 1.00 0.98 1.05 0.91 0.93 1.19 1.06 0.93

time (sec)

N/A 0.323 0.147 0.256 0.209 0.304 0.947 0.280 0.051

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 176 191 166 166 291 193 169

N.S.

1 1.00 0.98 1.06 0.92 0.92 1.62 1.07 0.94

time (sec)

N/A 0.317 0.132 0.290 0.193 0.294 0.330 0.270 0.051

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

176 176 173 192 166 166 284 193 169

N.S.

1 1.00 0.98 1.09 0.94 0.94 1.61 1.10 0.96

time (sec)

N/A 0.325 0.153 0.266 0.196 0.272 0.413 0.398 0.054

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 170 191 166 166 280 191 170

N.S.

1 1.00 0.96 1.07 0.93 0.93 1.57 1.07 0.96

time (sec)

N/A 0.320 0.173 0.270 0.197 0.268 0.451 0.371 0.054

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 169 181 167 166 275 192 170

N.S.

1 1.00 0.95 1.02 0.94 0.93 1.54 1.08 0.96

time (sec)

N/A 0.316 0.158 0.274 0.218 0.268 0.524 0.277 0.055

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 168 174 167 166 270 192 170

N.S.

1 1.00 0.97 1.00 0.96 0.95 1.55 1.10 0.98

time (sec)

N/A 0.319 0.180 0.278 0.202 0.321 0.652 0.290 0.057

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 172 167 167 166 275 192 170

N.S.

1 1.00 0.97 0.94 0.94 0.93 1.54 1.08 0.96

time (sec)

N/A 0.314 0.159 0.260 0.197 0.305 0.776 0.297 0.079

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

347 363 411 381 0 7707 40613 5319 14120

N.S.

1 1.05 1.18 1.10 0.00 22.21 117.04 15.33 40.69

time (sec)

N/A 0.786 0.958 0.404 0.000 15.595 70.027 1.043 11.882

Problem 1010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

275 287 333 291 0 5148 17734 4399 10204

N.S.

1 1.04 1.21 1.06 0.00 18.72 64.49 16.00 37.11

time (sec)

N/A 0.564 0.861 0.395 0.000 7.064 16.746 1.019 11.369

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 225 264 218 0 2642 13942 3186 6401

N.S.

1 1.02 1.19 0.99 0.00 11.95 63.09 14.42 28.96

time (sec)

N/A 0.450 0.487 0.378 0.000 1.723 6.351 0.777 11.133

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 182 181 168 0 1577 4488 1406 4141

N.S.

1 1.01 1.01 0.93 0.00 8.76 24.93 7.81 23.01

time (sec)

N/A 0.334 0.340 0.608 0.000 0.918 8.443 0.755 10.894

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 197 214 175 0 2925 305978 2809 6367

N.S.

1 0.99 1.08 0.88 0.00 14.70 1537.58 14.12 31.99

time (sec)

N/A 0.423 0.531 0.390 0.000 1.557 75.826 0.911 11.223

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F(-1) B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

284 0 276 233 0 5453 0 2870 10133

N.S.

1 0.00 0.97 0.82 0.00 19.20 0.00 10.11 35.68

time (sec)

N/A 0.000 0.790 0.371 0.000 2.629 0.000 1.006 11.991

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F(-1) B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

307 0 354 314 0 7971 0 5013 13983

N.S.

1 0.00 1.15 1.02 0.00 25.96 0.00 16.33 45.55

time (sec)

N/A 0.000 0.999 0.401 0.000 6.809 0.000 1.340 12.903

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A A F B F(-1) B B

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

381 0 445 412 0 10514 0 4086 17910

N.S.

1 0.00 1.17 1.08 0.00 27.60 0.00 10.72 47.01

time (sec)

N/A 0.000 1.281 0.398 0.000 9.324 0.000 1.230 13.807

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 404 461 455 0 7251 0 5685 16631

N.S.

1 0.98 1.12 1.11 0.00 17.64 0.00 13.83 40.46

time (sec)

N/A 0.752 2.886 0.440 0.000 17.629 0.000 1.237 13.868

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

321 316 366 364 0 4653 0 4544 12408

N.S.

1 0.98 1.14 1.13 0.00 14.50 0.00 14.16 38.65

time (sec)

N/A 0.590 2.028 0.359 0.000 5.233 0.000 1.229 15.232

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 268 298 295 0 3462 0 3781 9434

N.S.

1 0.97 1.08 1.07 0.00 12.54 0.00 13.70 34.18

time (sec)

N/A 0.485 1.316 0.368 0.000 2.644 0.000 1.061 14.203

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

304 281 311 468 0 4884 0 4434 12364

N.S.

1 0.92 1.02 1.54 0.00 16.07 0.00 14.59 40.67

time (sec)

N/A 0.572 1.290 0.411 0.000 7.734 0.000 1.125 14.863

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

406 384 399 383 0 7597 0 5405 17623

N.S.

1 0.95 0.98 0.94 0.00 18.71 0.00 13.31 43.41

time (sec)

N/A 0.717 2.353 0.411 0.000 26.165 0.000 1.355 15.455

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

521 524 518 485 0 10203 0 6335 21585

N.S.

1 1.01 0.99 0.93 0.00 19.58 0.00 12.16 41.43

time (sec)

N/A 0.933 3.548 0.419 0.000 65.883 0.000 1.527 15.933

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

528 533 612 714 0 9631 0 3993 22943

N.S.

1 1.01 1.16 1.35 0.00 18.24 0.00 7.56 43.45

time (sec)

N/A 0.948 7.507 0.465 0.000 52.973 0.000 1.515 14.726

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

459 458 519 595 0 7056 0 7586 19073

N.S.

1 1.00 1.13 1.30 0.00 15.37 0.00 16.53 41.55

time (sec)

N/A 0.814 6.084 0.444 0.000 13.640 0.000 1.665 13.678

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

414 416 448 500 0 5646 0 3170 16720

N.S.

1 1.00 1.08 1.21 0.00 13.64 0.00 7.66 40.39

time (sec)

N/A 0.783 6.343 0.349 0.000 10.494 0.000 1.218 13.388

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

426 406 452 528 0 7267 0 7277 19024

N.S.

1 0.95 1.06 1.24 0.00 17.06 0.00 17.08 44.66

time (sec)

N/A 0.901 4.130 0.337 0.000 21.710 0.000 1.800 13.806

Problem 1027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

468 466 524 1556 0 9907 0 4621 22946

N.S.

1 1.00 1.12 3.32 0.00 21.17 0.00 9.87 49.03

time (sec)

N/A 0.969 2.781 0.687 0.000 56.554 0.000 1.437 14.475

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

664 578 676 762 0 12534 0 9534 29137

N.S.

1 0.87 1.02 1.15 0.00 18.88 0.00 14.36 43.88

time (sec)

N/A 1.216 10.429 0.473 0.000 147.661 0.000 1.870 18.979

Problem 1029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

454 441 638 871 0 265 0 0 0

N.S.

1 0.97 1.41 1.92 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.727 25.134 1.922 0.000 0.099 0.000 0.000 0.000

Problem 1030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

373 362 550 795 0 215 0 0 0

N.S.

1 0.97 1.47 2.13 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.518 24.523 0.878 0.000 0.106 0.000 0.000 0.000

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

341 336 491 769 0 190 0 0 0

N.S.

1 0.99 1.44 2.26 0.00 0.56 0.00 0.00 0.00

time (sec)

N/A 0.469 23.521 1.020 0.000 0.090 0.000 0.000 0.000

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

353 348 499 791 0 198 0 0 0

N.S.

1 0.99 1.41 2.24 0.00 0.56 0.00 0.00 0.00

time (sec)

N/A 0.500 23.756 1.134 0.000 0.102 0.000 0.000 0.000

Problem 1033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F C B F C F F F(-1)

verified

N/A N/A Yes Yes TBD TBD TBD TBD TBD

size

421 0 576 842 0 255 0 0 0

N.S.

1 0.00 1.37 2.00 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 0.000 24.478 1.862 0.000 0.089 0.000 0.000 0.000

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 277 178 137 0 68 0 0 0

N.S.

1 1.10 0.71 0.55 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.479 21.187 0.375 0.000 0.086 0.000 0.000 0.000

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 249 170 132 0 63 0 0 0

N.S.

1 1.09 0.75 0.58 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.445 21.147 0.233 0.000 0.073 0.000 0.000 0.000

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 221 165 127 0 58 0 0 0

N.S.

1 1.08 0.80 0.62 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.398 21.138 0.248 0.000 0.088 0.000 0.000 0.000

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 193 163 122 0 53 0 0 0

N.S.

1 1.06 0.90 0.67 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 0.358 21.146 0.227 0.000 0.072 0.000 0.000 0.000

Problem 1038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 165 158 117 0 48 0 0 0

N.S.

1 1.04 0.99 0.74 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.321 20.442 0.254 0.000 0.073 0.000 0.000 0.000

Problem 1039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 165 153 113 0 55 0 0 0

N.S.

1 1.04 0.96 0.71 0.00 0.35 0.00 0.00 0.00

time (sec)

N/A 0.323 20.017 0.288 0.000 0.092 0.000 0.000 0.000

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 163 153 115 0 59 0 0 0

N.S.

1 1.04 0.97 0.73 0.00 0.38 0.00 0.00 0.00

time (sec)

N/A 0.318 21.140 0.240 0.000 0.092 0.000 0.000 0.000

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 189 153 124 0 64 0 0 0

N.S.

1 1.05 0.85 0.69 0.00 0.36 0.00 0.00 0.00

time (sec)

N/A 0.371 21.151 0.243 0.000 0.091 0.000 0.000 0.000

Problem 1042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 217 155 129 0 69 0 0 0

N.S.

1 1.06 0.76 0.63 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.409 21.142 0.279 0.000 0.093 0.000 0.000 0.000

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 245 160 134 0 74 0 0 0

N.S.

1 1.07 0.70 0.59 0.00 0.32 0.00 0.00 0.00

time (sec)

N/A 0.448 21.139 0.280 0.000 0.082 0.000 0.000 0.000

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 282 183 142 0 73 0 0 0

N.S.

1 1.10 0.71 0.55 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 0.510 21.161 0.229 0.000 0.081 0.000 0.000 0.000

Problem 1045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 254 178 137 0 68 0 0 0

N.S.

1 1.09 0.76 0.59 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 0.447 21.162 0.252 0.000 0.092 0.000 0.000 0.000

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 226 173 132 0 63 0 0 0

N.S.

1 1.08 0.82 0.63 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.406 21.212 0.229 0.000 0.084 0.000 0.000 0.000

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 198 165 127 0 58 0 0 0

N.S.

1 1.06 0.88 0.68 0.00 0.31 0.00 0.00 0.00

time (sec)

N/A 0.363 21.155 0.260 0.000 0.076 0.000 0.000 0.000

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 198 163 123 0 65 0 0 0

N.S.

1 1.06 0.87 0.66 0.00 0.35 0.00 0.00 0.00

time (sec)

N/A 0.366 21.150 0.539 0.000 0.081 0.000 0.000 0.000

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 189 163 125 0 69 0 0 0

N.S.

1 1.03 0.89 0.68 0.00 0.38 0.00 0.00 0.00

time (sec)

N/A 0.374 21.173 0.242 0.000 0.087 0.000 0.000 0.000

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 194 163 129 0 69 0 0 0

N.S.

1 1.05 0.88 0.70 0.00 0.37 0.00 0.00 0.00

time (sec)

N/A 0.364 21.185 0.251 0.000 0.108 0.000 0.000 0.000

Problem 1051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 193 163 129 0 69 0 0 0

N.S.

1 1.03 0.87 0.69 0.00 0.37 0.00 0.00 0.00

time (sec)

N/A 0.368 21.157 0.251 0.000 0.110 0.000 0.000 0.000

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 222 160 134 0 74 0 0 0

N.S.

1 1.06 0.76 0.64 0.00 0.35 0.00 0.00 0.00

time (sec)

N/A 0.410 21.163 0.267 0.000 0.110 0.000 0.000 0.000

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 250 165 139 0 79 0 0 0

N.S.

1 1.07 0.71 0.60 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.460 21.168 0.325 0.000 0.106 0.000 0.000 0.000

Problem 1054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 278 170 144 0 84 0 0 0

N.S.

1 1.09 0.66 0.56 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.505 21.171 0.329 0.000 0.181 0.000 0.000 0.000

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

300 291 444 538 0 144 0 0 0

N.S.

1 0.97 1.48 1.79 0.00 0.48 0.00 0.00 0.00

time (sec)

N/A 0.418 23.230 1.303 0.000 0.096 0.000 0.000 0.000

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 240 168 127 0 58 0 0 0

N.S.

1 1.08 0.75 0.57 0.00 0.26 0.00 0.00 0.00

time (sec)

N/A 0.429 21.171 0.253 0.000 0.085 0.000 0.000 0.000

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 216 160 122 0 53 0 0 0

N.S.

1 1.08 0.80 0.61 0.00 0.26 0.00 0.00 0.00

time (sec)

N/A 0.408 21.140 0.270 0.000 0.152 0.000 0.000 0.000

Problem 1058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 188 158 117 0 48 0 0 0

N.S.

1 1.06 0.89 0.66 0.00 0.27 0.00 0.00 0.00

time (sec)

N/A 0.357 21.153 0.235 0.000 0.111 0.000 0.000 0.000

Problem 1059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 160 150 112 0 43 0 0 0

N.S.

1 1.04 0.97 0.73 0.00 0.28 0.00 0.00 0.00

time (sec)

N/A 0.314 21.147 0.257 0.000 0.103 0.000 0.000 0.000

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 133 150 77 0 26 0 0 0

N.S.

1 1.03 1.16 0.60 0.00 0.20 0.00 0.00 0.00

time (sec)

N/A 0.275 21.142 0.186 0.000 0.074 0.000 0.000 0.000

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 156 90 108 0 50 0 0 0

N.S.

1 1.07 0.62 0.74 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.316 21.145 0.255 0.000 0.087 0.000 0.000 0.000

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 183 148 115 0 59 0 0 0

N.S.

1 1.05 0.85 0.66 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.353 21.138 0.247 0.000 0.093 0.000 0.000 0.000

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 212 150 124 0 64 0 0 0

N.S.

1 1.08 0.77 0.63 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.398 21.140 0.264 0.000 0.102 0.000 0.000 0.000

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 217 156 117 0 69 0 0 0

N.S.

1 1.10 0.79 0.59 0.00 0.35 0.00 0.00 0.00

time (sec)

N/A 0.409 21.150 0.286 0.000 0.101 0.000 0.000 0.000

Problem 1065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 193 150 112 0 87 0 0 0

N.S.

1 1.06 0.82 0.62 0.00 0.48 0.00 0.00 0.00

time (sec)

N/A 0.376 21.175 0.479 0.000 0.102 0.000 0.000 0.000

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 165 145 107 0 82 0 0 0

N.S.

1 1.04 0.91 0.67 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.323 21.152 0.200 0.000 0.126 0.000 0.000 0.000

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 161 140 107 0 82 0 0 0

N.S.

1 1.04 0.90 0.69 0.00 0.53 0.00 0.00 0.00

time (sec)

N/A 0.320 21.139 0.210 0.000 0.097 0.000 0.000 0.000

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 161 137 107 0 82 0 0 0

N.S.

1 1.07 0.91 0.71 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.321 21.138 0.204 0.000 0.085 0.000 0.000 0.000

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 185 137 108 0 99 0 0 0

N.S.

1 1.08 0.80 0.63 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.376 21.162 0.204 0.000 0.097 0.000 0.000 0.000

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 213 145 115 0 110 0 0 0

N.S.

1 1.06 0.72 0.57 0.00 0.55 0.00 0.00 0.00

time (sec)

N/A 0.410 21.155 0.208 0.000 0.095 0.000 0.000 0.000

Problem 1071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 238 150 124 0 115 0 0 0

N.S.

1 1.06 0.67 0.55 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.439 21.166 0.499 0.000 0.094 0.000 0.000 0.000

Problem 1072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 282 187 272 0 137 0 0 0

N.S.

1 1.10 0.73 1.06 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.506 21.236 0.303 0.000 0.086 0.000 0.000 0.000

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 254 179 251 0 132 0 0 0

N.S.

1 1.09 0.77 1.08 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.461 21.227 0.209 0.000 0.092 0.000 0.000 0.000

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 219 177 232 0 127 0 0 0

N.S.

1 1.04 0.84 1.10 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.410 21.974 0.213 0.000 0.110 0.000 0.000 0.000

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 198 169 214 0 122 0 0 0

N.S.

1 1.06 0.90 1.14 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 0.382 21.209 0.212 0.000 0.122 0.000 0.000 0.000

Problem 1076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 194 167 214 0 122 0 0 0

N.S.

1 1.04 0.89 1.14 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 0.374 21.211 0.214 0.000 0.097 0.000 0.000 0.000

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 193 164 214 0 122 0 0 0

N.S.

1 1.03 0.88 1.14 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 0.372 21.195 0.210 0.000 0.092 0.000 0.000 0.000

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 189 165 214 0 122 0 0 0

N.S.

1 1.06 0.92 1.20 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.365 21.242 0.215 0.000 0.077 0.000 0.000 0.000

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 193 167 214 0 122 0 0 0

N.S.

1 1.04 0.90 1.16 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.372 21.196 0.214 0.000 0.083 0.000 0.000 0.000

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 220 167 240 0 139 0 0 0

N.S.

1 1.06 0.80 1.15 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.423 21.207 0.226 0.000 0.090 0.000 0.000 0.000

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 246 169 261 0 150 0 0 0

N.S.

1 1.09 0.75 1.16 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.459 21.205 0.215 0.000 0.083 0.000 0.000 0.000

Problem 1082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 276 177 282 0 155 0 0 0

N.S.

1 1.08 0.69 1.10 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 0.512 21.214 0.233 0.000 0.080 0.000 0.000 0.000

Problem 1083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 240 672 242 408 1350 11116 2736 769

N.S.

1 1.00 2.80 1.01 1.70 5.62 46.32 11.40 3.20

time (sec)

N/A 0.441 1.860 0.364 0.235 0.281 0.949 0.302 10.930

Problem 1084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 289 154 230 573 4027 1142 405

N.S.

1 1.00 1.86 0.99 1.48 3.70 25.98 7.37 2.61

time (sec)

N/A 0.328 0.425 0.615 0.215 0.281 0.555 0.278 10.499

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 91 82 104 171 981 338 171

N.S.

1 1.00 1.10 0.99 1.25 2.06 11.82 4.07 2.06

time (sec)

N/A 0.238 0.127 0.048 0.213 0.266 0.331 0.279 10.226

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

172 172 135 0 0 0 0 0 0

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.436 0.280 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

318 302 253 0 0 0 0 0 0

N.S.

1 0.95 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.705 0.579 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

281 281 618 0 0 0 0 0 0

N.S.

1 1.00 2.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.465 2.886 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

281 281 405 0 0 0 0 0 0

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.406 1.782 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

281 281 234 0 0 0 0 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.410 1.340 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

281 281 234 0 0 0 0 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.427 1.506 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

281 281 272 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.433 2.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

281 281 237 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.410 4.048 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

277 277 232 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.411 0.472 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

442 443 210 0 0 0 0 0 0

N.S.

1 1.00 0.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.706 0.773 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

287 295 210 0 0 0 0 0 0

N.S.

1 1.03 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.437 0.475 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

211 211 210 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.287 0.365 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

158 158 268 0 0 0 0 0 0

N.S.

1 1.00 1.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.243 0.415 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

273 273 263 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.401 0.438 0.000 0.000 0.000 0.000 0.000 0.000

Problem 1100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

315 314 289 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.439 0.424 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]